Semi-Automatic Generation of Test Cases by Case Morphing
نویسندگان
چکیده
â Novel method creates cases independent of the knowledge acquisition process â Such a creative approach is not doomed to reimplement incorrect knowledge possibly contained in the knowledge base, but may detect it â The morphing method is not performed as a single run but is an iterative process in order to achieve a sufficient test case coverage â Evaluation with medical consultation system: succesful generation of cases by 3 iterations (incl. slight adaptation of some generated cases) Conclusion Semi-Automatic Generation of Test Cases by Case Morphing
منابع مشابه
Semi-Automatic Test Case Generation from CO-OPN Specifications
In this paper we will describe our work on automatic generation of tests for Systems Under Test (SUT) described in the CO-OPN specification language that has been developed in our laboratory. CO-OPN (Concurrent Object Oriented Petri Nets) is a formalism for describing concurrent software systems that possesses most of the characteristics we can find in mainstream semi-formal modeling languages....
متن کاملA Tool for the Automatic and Semi - Automatic Test
Due to increasing interest in validation and test generation tools, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck have started a research and development project which aims at bringing new test generation facilities to the Tau tool set. For that purpose, a software component is developed which supports the automatic and semi-automatic generation of TTCN te...
متن کاملMultidisciplinary Techniques and Novel Aircraft Control Systems
The Aircraft Morphing Program at NASA Langley Research Center explores opportunities to improve airframe designs with smart technologies. Two elements of this basic research program are multidisciplinary design optimization (MDO) and advanced flow control. This paper describes examples where MDO techniques such as sensitivity analysis, automatic differentiation, and genetic algorithms contribut...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملAutomatic Interpretation of UltraCam Imagery by Combination of Support Vector Machine and Knowledge-based Systems
With the development of digital sensors, an increasing number of high-resolution images are available. Interpretation of these images is not possible manually, which necessitates seeking for practical, fast and automatic solutions to solve the environmental and location-based management problems. The land cover classification using high-resolution imagery is a difficult process because of the c...
متن کامل